Design by Contract Using Meta-Assertions.
نویسندگان
چکیده
منابع مشابه
Design by Contract Using Meta-Assertions
The important role that class contracts Ð pre and post-conditions of methods, and invariants Ð play in the specification, monitoring and reuse of classes is becoming increasingly accepted by the OO community. The several languages of assertions and monitoring code generation tools that exist allow the specification and, eventually, the runtime checking of very powerful and elegant contracts. Th...
متن کاملGame Development Using Design-by-Contract
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses Design-by-Contract, under realistic game development con...
متن کاملExpressing Design by Contract Principles using Aspects
This thesis deals with two methodologies in software construction: Aspect Oriented Programming and Design by Contract. It was already claimed that the design by contract methodology is an aspect of the software system. As such, a contract can be expressed in AOP terminology, and hence could be enforced using an aspect oriented based tool. The work presented here describes the enforcement proces...
متن کاملSoftware Component Specification Using Design by Contract
This paper describes methods for identifying appropriate software components for an application and for specifying the components’ operations rigorously. It uses the theory and methods of the design by contract approach for specification of the functionality. The actual implementations of a component’s operations are hidden from the clients and encapsulated within the component. A component com...
متن کامل"Design by Contract" + "Componentware" = "Design by Signed Contract"
The main goal of "Design by Contract" is to improve correctness and robustness of software systems. For this purpose, the interfaces of classes or modules are augmented with precise specifications containing assertions. By means of these assertions, a supplier of a service imposes contractual obligations that his clients have to fulfill. " Componentware " introduces a new software development p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2002
ISSN: 1660-1769
DOI: 10.5381/jot.2002.1.3.a3